Basic research

Results: 2119



#Item
641

BRICS RS-08-7 O. Danvy: Denotational Semantics, Natural Semantics, and Abstract Machines for Scheme BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2008-12-15 10:14:23
    642

    Cryptography, Freedom, and Democracy How Basic Science Affects Everyone Nelson H. F. Beebe Research Professor University of Utah

    Add to Reading List

    Source URL: www.math.utah.edu

    Language: English - Date: 2011-09-29 15:02:49
      643

      BRICS Basic Research in Computer Science ´ BRICS RSZ. Esik: The Equational Theory of Fixed Points with Applications

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2001-06-12 05:06:03
        644

        National Institute for Basic Biology Research Support 〔Original paper (E-publication ahead of print)〕 S., and Stern, D. Aphids evolved novel secreted proteins for

        Add to Reading List

        Source URL: www.nibb.ac.jp

        Language: English - Date: 2013-08-01 04:05:11
          645

          BRICS Basic Research in Computer Science BRICS RSMiltersen et al.: Half-Exponential Circuit Size in the Exponential Hierarchy Super-Polynomial Versus Half-Exponential

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2000-01-14 04:20:10
            646

            BRICS Basic Research in Computer Science BRICS RSCramer & Damg˚ard: Zero-Knowledge Proofs for Finite Field Arithmetic Zero-Knowledge Proofs for

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 1997-11-26 08:42:39
              647

              BRICS Basic Research in Computer Science BRICS RSD. P. Dubhashi: Talagrand’s Inequality and Locality in Distributed Computing Talagrand’s Inequality and Locality in

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 1998-10-09 02:18:25
                648

                BRICS RSDanvy & Millikin: A Rational Deconstruction of Landin’s J Operator BRICS Basic Research in Computer Science

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2006-12-17 10:25:34
                  649

                  BRICS Basic Research in Computer Science BRICS RSDanvy et al.: On proving syntactic properties of CPS programs On proving syntactic properties of

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 1999-09-09 06:14:49
                    650

                    BRICS DS-02-2 S. Dantchev: On Resolution Complexity of Matching Principles BRICS Basic Research in Computer Science

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2004-07-08 09:31:35
                      UPDATE